render: Replace gtk_style_context_get_border/padding()
authorBenjamin Otte <otte@redhat.com>
Sat, 17 Jan 2015 04:11:40 +0000 (05:11 +0100)
committerBenjamin Otte <otte@redhat.com>
Mon, 19 Jan 2015 00:15:20 +0000 (01:15 +0100)
commit858c80f33e335b45c4c7177e63a981123bd7bd17
tree6b7bd2fc9567f7a715e9af7382e08b23cc961875
parent8b11e93a2dbe33c16810749ace5379d200fdc471
render: Replace gtk_style_context_get_border/padding()

Use _gtk_style_context_peek_property() instead.
gtk/gtkrender.c
gtk/gtkthemingbackground.c